Decomposing dense bipartite graphs into 4-cycles

Let G be an even bipartite graph with partite sets X and Y such that |Y | is even and the minimum degree of a vertex in Y is at least 95|X|/96. Suppose furthermore that the number of edges in G is divisible by 4. Then G decomposes into 4-cycles

A lower bound for the size of the smallest critical set in the back circulant latin square

The back circulant latin square of order n is the latin square based on the addition table for the integers modulo n. A critical set is a partial latin square that has a unique completion to a latin square, and is minimal with respect to this property. In this note we show that the size of a critical set in the back circulant latin square of order n is at least n ⁴/³/2 - n - n²/³/2 + 2n¹/³ - 1

Latin bitrades derived from groups

A latin bitrade is a pair of partial latin squares which are disjoint, occupy the same set of non-empty cells, and whose corresponding rows and columns contain the same set of entries. Dr\'apal (\cite{Dr9}) showed that a latin bitrade is equivalent to three derangements whose product is the identity and whose cycles pairwise have at most one point in common. By letting a group act on itself by right translation, we show how some latin bitrades may be derived from groups without specifying an independent group action. Properties of latin trades such as homogeneousness, minimality (via thinness) and orthogonality may also be encoded succinctly within the group structure. We apply the construction to some well-known groups, constructing previously unknown latin bitrades. In particular, we show the existence of minimal, $k$-homogeneous latin trades for each odd $k\geq 3$. In some cases these are the smallest known such examples.Comment: 23 page

A uniqueness result for 33-homogeneous latin trades

summary:A latin trade is a subset of a latin square which may be replaced with a disjoint mate to obtain a new latin square. A $k$-homogeneous latin trade is one which intersects each row, each column and each entry of the latin square either $0$ or $k$ times. In this paper, we show that a construction given by Cavenagh, Donovan and Drápal for $3$-homogeneous latin trades in fact classifies every minimal $3$-homogeneous latin trade. We in turn classify all $3$-homogeneous latin trades. A corollary is that any $3$-homogeneous latin trade may be partitioned into three, disjoint, partial transversals

Maximal partial Latin cubes

We prove that each maximal partial Latin cube must have more than 29.289% of its cells filled and show by construction that this is a nearly tight bound. We also prove upper and lower bounds on the number of cells containing a fixed symbol in maximal partial Latin cubes and hypercubes, and we use these bounds to determine for small orders n the numbers k for which there exists a maximal partial Latin cube of order n with exactly k entries. Finally, we prove that maximal partial Latin cubes of order n exist of each size from approximately half-full (n3/2 for even n ≥ 10 and (n3 + n)/2 for odd n ≥21) to completely full, except for when either precisely 1 or 2 cells are empty

Decomposing graphs of high minimum degree into 4-cycles

If a graph G decomposes into edge-disjoint 4-cycles, then each vertex of G has even degree and 4 divides the number of edges in G. It is shown that these obvious necessary conditions are also sufficient when G is any simple graph having minimum degree at least (3132+on(1))n, where n is the number of vertices in G. This improves the bound given by Gustavsson (PhD Thesis, University of Stockholm, 1991), who showed (as part of a more general result) sufficiency for simple graphs with minimum degree at least (1-10-94+on(1))n. On the other hand, it is known that for arbitrarily large values of n there exist simple graphs satisfying the obvious necessary conditions, having n vertices and minimum degree 35n-1, but having no decomposition into edge-disjoint 4-cycles. We also show that if G is a bipartite simple graph with n vertices in each part, then the obvious necessary conditions for G to decompose into 4-cycles are sufficient when G has minimum degree at least (3132+on(1))n